以下不属于代码静态分析的方法是( )。